Space complexity of Abelian groups
نویسندگان
چکیده
منابع مشابه
Space complexity of Abelian groups
We develop a theory of LOGSPACE structures and apply it to construct a number of examples of Abelian Groups which have LOGSPACE presentations. We show that all computable torsion Abelian groups have LOGSPACE presentations and we show that the groups Z, Z(p∞), and the additive group of the rationals have LOGSPACE presentations over a standard universe such as the tally representation and the bin...
متن کاملDescriptive Complexity of Finite Abelian Groups
We investigate the descriptive complexity of finite abelian groups. Using Ehrenfeucht-Fräıssé games we find upper and lower bounds on quantifier depth, quantifier alternations, and number of variables of a first-order sentence that distinguishes two finite abelian groups. Our main results are the following. Let G1 and G2 be a pair of non-isomorphic finite abelian groups, and let m be a number t...
متن کاملnon-divisibility for abelian groups
Throughout all groups are abelian. We say a group G is n-divisible if nG = G. If G has no non-zero n-divisible subgroups for all n>1 then we say that G is absolutely non-divisible. In the study of class C consisting all absolutely non-divisible groups such as G, we come across the sub groups T_p(G) = the sum of all p-divisible subgroups and rad_p(G) = the intersection of all p^nG. The proper...
متن کاملSpace Complexity and Word Problems of Groups
In this section we will give an overview of the paper; precise definitions of the terms used here will be found in Sections 2, 3 and 4. Our starting point is that there are several intriguing links between group theory and formal language theory. One of the many interesting such connections is the consideration of which groups G have a word problem lying in a particular class F of formal langua...
متن کاملQuantum Error-Correction Codes on Abelian Groups
We prove a general form of bit flip formula for the quantum Fourier transform on finite abelian groups and use it to encode some general CSS codes on these groups.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Archive for Mathematical Logic
سال: 2008
ISSN: 0933-5846,1432-0665
DOI: 10.1007/s00153-008-0113-3